3

Algorithms as machines

Year:
2009
Language:
english
File:
PDF, 182 KB
english, 2009
12

One-solvent polymorph screen of carbamazepine

Year:
2008
Language:
english
File:
PDF, 516 KB
english, 2008
13

Series–parallel languages and the bounded-width property

Year:
2000
Language:
english
File:
PDF, 278 KB
english, 2000
15

Proof theory for exception handling in a tasking environment

Year:
1990
Language:
english
File:
PDF, 1.66 MB
english, 1990
16

Fine-grained Concurrency with Separation Logic

Year:
2011
Language:
english
File:
PDF, 711 KB
english, 2011
18

Rationality in Algebras with a Series Operation

Year:
2001
Language:
english
File:
PDF, 208 KB
english, 2001
19

Models and logics for true concurrency

Year:
1992
Language:
english
File:
PDF, 1.94 MB
english, 1992
26

[Lecture Notes in Computer Science] Logic and Its Applications Volume 7750 ||

Year:
2013
Language:
english
File:
PDF, 2.89 MB
english, 2013
40

Review: Book Review

Year:
1994
File:
PDF, 1.29 MB
1994
47

Papilloma of the Nose

Year:
1964
Language:
english
File:
PDF, 588 KB
english, 1964
49

Foreign Body (Stone) in the Frontal Sinus

Year:
1963
Language:
english
File:
PDF, 274 KB
english, 1963